(gnus-use-article-prefetch): Use `other'

widget type.

diff --git a/lisp/gnus/gnus-async.el b/lisp/gnus/gnus-async.el
index b8d4d130017868a33dcffa166f8256cc8332dc5a..5c8a5bf1b71bd7b3a94668be95a611794895f4f4 100644 (file)
--- a/lisp/gnus/gnus-async.el
+++ b/lisp/gnus/gnus-async.el
@@ -47,8 +47,8 @@ If a number, prefetch only that many articles forward;
 if t, prefetch as many articles as possible."
   :group 'gnus-asynchronous
   :type '(choice (const :tag "off" nil)
-                (const :tag "all" t)
-                (integer :tag "some" 0)))
+                (integer :tag "some" 0)
+                (other :tag "all" t)))
 
 (defcustom gnus-prefetched-article-deletion-strategy '(read exit)
   "List of symbols that say when to remove articles from the prefetch buffer.